|
In mathematics, the mountain climbing problem is a problem of finding the conditions that two function forming profiles of a two-dimensional mountain must satisfy, so that two climbers can start on the bottom on the opposite sides of the mountain and coordinate their movements to reach to the top while always staying at the same height. This problem was named and posed in this form by James V. Whittaker in 1966, but its history goes back to Tatsuo Homma, who solved a version of it in 1952. The problem has been repeatedly rediscovered and solved independently in different context by a number of people (see the references). In the past two decades the problem was shown to be connected to the weak Fréchet distance of curves in the plane (see ''Buchin et al.''), various planar motion planning problems in computational geometry (see ''Goodman et al.''), the square peg problem (see ''Pak''), semigroup of polynomials (see ''Baird and Magill''), etc. The problem was popularized in the article by ''Goodman et al.'', which received the MAA writing award in 1990. == Understanding the problem == It is easy to coordinate the climbers' movement between the peaks and valleys (local maxima and minima of the functions). The difficulty is that to progress, the climbers must occasionally go down the mountain, either one or the other, or both climbers. Similarly, either one or the other climber must backtrack towards the beginning of the journey. In fact, it has been observed that for a mountain with ''n'' peaks and valleys the number of turns can be as large as quadratic in ''n'' (see ''Buchin et al.''). These difficulties make the problem unintuitive and sometimes rather difficult, both in theory and in practice. == Formulation == The following result is due to Huneke: :Suppose and are continuous functions from to with and , and such that neither function is constant on an interval. Then there exist continuous functions and from to with , , and such that , where "" stands for a composition of functions. To see heuristically that the result does not extend to all continuous functions, note that if has a constant interval while has a highly oscillating interval on the same level, then the first climber would be forced to go back and forth infinitely many times, and thus can never reach the top. It is also known that for the piecewise linear functions there are no obstructions, i.e. the climbers can always coordinate their movements to get to the top (see ''Whittaker''). === Proof in the piecewise linear case === Consider a graph of all positions on a mountain both climbers can occupy on the same level. This graph is piecewise linear, i.e. a union of intervals, and can be viewed as a graph in Graph theory. Note that may or may not be connected. The vertices of the intervals correspond to peaks and valleys of the functions. There are three cases: : 1. One climber is at a peak or a valley, another climber is in between two of them, : 2. Both climbers are at a peak or at valley. : 3. One climber is at a peak and one is at valley. In the first case such vertex of has two adjacent intervals, in the second case it has four, and in the last case zero. Therefore, graph has all vertices of even degree, except for the point corresponding to two climbers on the bottom and the point corresponding to two climbers on top of the mountain. Applying the handshaking lemma to the connected component of containing we conclude that and are in the same connected component of . This implies that there is a path from to in . In the language of mountain climbers, this gives a way to coordinate the climbers' movement to reach the top of the mountain. 抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)』 ■ウィキペディアで「Mountain climbing problem」の詳細全文を読む スポンサード リンク
|